. Gọi
lần lượt là các điểm thuộc các cạnh
sao cho
. Gọi
lần lượt là thể tích của hai khối đa diện
. Tính tỉ số
">
. Gọi
lần lượt là các điểm thuộc các cạnh
sao cho
. Gọi
lần lượt là thể tích của hai khối đa diện
. Tính tỉ số
">
. Gọi
lần lượt là các điểm thuộc các cạnh
sao cho
. Gọi
lần lượt là thể tích của hai khối đa diện
. Tính tỉ số

.
hay
.
; 



nên 


ta được điều cần chứng minh.